Fix direction of CONSTRUCTOR_NAME_op lemmas (fix #256)

Merge request reports