In {:instruction} procedures, apply eval_ins to verbatim instruction expression rather than to a variable, to enable normalization in the instruction expression.
In {:instruction} procedures, apply eval_ins to verbatim instruction
expression rather than to a variable, to enable
normalization in the instruction expression.

project-everest/vale,project-everest/vale,project-everest/vale,project-everest/vale