Goal:
    x : Z  y : Z
  ============================
   (reflectProp (x = y) (x =? y))


DEBUG:Going to execute:
apply reflect_reflectProp