-record(assert_model, {expression :: binary()}).