let reprs = [LogicId.dummy,Fmap.empty]