Add "if check" (expr_if_check), a variation on check that executes
an "else" clause rather than failing if the check doesn't hold.