method call transformation + visited update