add Eval/Constraint/Refine