let computeFirstPredecessor _stm lvh = lvh