Lines Matching refs:l2
23 ((h1 eq h2 and l1 eq l2) or t1 == mlstrustedsubject);
27 (l1 dom l2 or t1 == mlstrustedsubject);
31 (l1 domby l2 or t1 == mlstrustedsubject);
40 ((h1 eq h2 and l1 eq l2) or t1 == mlstrustedsubject);
45 (l1 domby l2 or t1 == mlstrustedsubject or t2 == mlstrustedsubject);
50 (l1 eq l2 or t1 == mlstrustedsubject or t2 == mlstrustedsubject);
60 (l2 eq h2 and (l1 eq l2 or t1 == mlstrustedsubject));
65 (l1 dom l2 or t1 == mlstrustedsubject or t2 == mlstrustedobject);
68 (l1 dom l2 or t1 == mlstrustedsubject or t2 == mlstrustedobject);
73 (l1 domby l2 or t1 == mlstrustedsubject or t2 == mlstrustedobject);
76 (l1 domby l2 or t1 == mlstrustedsubject or t2 == mlstrustedobject);
83 (l1 dom l2 or t1 == mlstrustedsubject or t2 == mlstrustedobject or t2 == mlstrustedsubject);
86 (l1 domby l2 or t1 == mlstrustedsubject or t2 == mlstrustedobject or t2 == mlstrustedsubject);
94 (l2 eq h2 and (l1 eq l2 or t1 == mlstrustedsubject));
98 (l1 dom l2 or t1 == mlstrustedsubject);
102 (l1 domby l2 or t1 == mlstrustedsubject);
111 # (l1 eq l2 or t1 == mlstrustedsubject or t2 == mlstrustedsubject);
