fix(realpaver/rp_constraint): new_explanation option
fix(realpaver/rp_constraint): new_explanation option