>if (a is null) throw new Exception("too bad i'm dead");

assert();
enforce();
in {}

отлично. вот хотелось бы это самое на уровне языка, чтоб писанины меньше было. В идеале - опционально.