fixing a but in haseq code, where refinements in two data constructors were not handled properly
fixing a but in haseq code, where refinements in two data constructors were not handled properly

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