Creates an assertion from a boolean expression.