normalizer: consider metas on simplify
normalizer: consider metas on simplify

((* msg *) True)  /\ p ~> p
((* msg *) False) /\ p ~> False
... etc

FStarLang/FStar,A-Manning/FStar,FStarLang/FStar,FStarLang/FStar,A-Manning/FStar,A-Manning/FStar