Uses of `simplifyCondition`: remove call from `TermLike` simplifier

https://github.com/kframework/kore/issues/2400 provides an audit (and discussion) on the uses of `simplifyCondition` throughout the code. This issue is the next part of https://github.com/kframework/kore/issues/2400#issuecomment-821218305, after https://github.com/kframework/kore/issues/2570 is done.