proposition: Lemma GetUnConstrRelation_Empty_eq : forall MySchema R, GetUnConstrRelation (DropQSConstraints (QSEmptySpec MySchema)) R = (Empty_set _).
proof: Proof. intros; rewrite GetRelDropConstraints; apply GetRelation_Empty_eq. Qed.
imports: Fiat.QueryStructure.Automation.MasterPlan Bedrock.Memory