let
computeFirstPredecessor _stm lvh = lvh