public class TestTwoCalls { // O -> O id(b) { var c = b; return c; } // (S, T) -> T main(x,y) { id(x); return id(y); } }