Goal:
    P : Prop  b : bool
  ============================
   (reflect P b -> reflectProp P b)


DEBUG:Going to execute:
intros []; constructor