raw asserts for combinators
raw assertion combinators work