Handle method promotion (esp. for loop carried dependences)