move flattenTerms before ResolveHybrid
delete termCons in ResolveContextAbstraction