JFlow、Jifでthisがcovariant parameterになっている事が分かる感じのセット

class C[covariant label L1,covariant label L2]
{
}

class Tester[label l1,label l2,label l3,label l4,label l5,label l6]
{
    void test()
    {
	C[l1,l3]{l5} c1 = null;
	C[l2,l4]{l6} c2 = null;

	if(l1 <= l2 && l3 <= l4 && l5 <= l6){
	    c2 = c1;
	}
    }
}

thisは、インスタンス自身のラベルという理解で良いのかしら。