move flattenTermsTwo before AddSemanticEquality