package p;
//renaming B.m to k
public team class T
{
    public class R1 extends S playedBy B
    {
        public void m(){}
        
        m <- after b;
    }
    
    public class R2 extends R1
    {
        m <- after b;
    }
}