renaming tcCoerce

- renaming coerceOrFold to tcCoerce (folding happens in heapSat)
- renaming tcCoerce to tcAndCoerce