Merge the implementations of isLoopInvariant and hasComputableLoopEvolution, and