fix(realpaver/rp_constraint): new_explanation option
checkpoint