Attach code for execution
The form (mbe1 exec logic) is equivalent to the forms (mbe :logic logic :exec exec) and (must-be-equal logic exec). See mbe.
