B1:= REF(H,1)<REF(H,2) AND REF(H,1)<H AND REF(L,1)<REF(L,2) AND REF(L,1)<L;
B2:= REF(H,1)<REF(H,2) AND REF(H,1)<H AND C>REF(C,1) AND C>REF(C,2);
B3:= H>REF(H,1) AND H>REF(H,2) AND C>REF(C,1) AND C>REF(C,2);
B:B1 OR B2 OR B3;
S1:=REF(H,1)>REF(H,2) AND REF(H,1)>H AND REF(L,1)>REF(L,2) AND REF(L,1)>L;
S2:=REF(H,1)>REF(H,2) AND REF(H,1)>H AND C<REF(C,1) AND C<REF(C,2);
S3:=L<REF(L,1) AND L<REF(L,2) AND C<REF(C,1) AND C<REF(C,2);
S:S1 OR S2 OR S3;
