Modeller is able to put assertion in code in form of "assertion(boolean-condition)"