Nix assertions

assert e1; e2

Here, e1 is some boolean expression. If it evaluates to true, e2 is returned. Otherwise, evaluation stops and a backtrace is printed.