Add preliminary version of 'assert' expression.