pub fn step_op_pred(op: Pred, stack: &mut Stack) -> Result<(), OpError>
Step forward constraint checking by the given predicate operation.