Introduce the lambda
Define more assert macros