use wrap_op_checker rather than PL_check directly