List<String> common_counters = Common(_q1.GetCounters(), _q2.GetCounters());
boolean q1_before_q2, q2_before_q1;
Condition lex_eq = null;
BooleanPointer bp1 = new BooleanPointer();
BooleanPointer bp2 = new BooleanPointer();
Condition preced = SmartPrecedenceComputing(_textual_preced, _q1.GetAssignment(), _q2.GetAssignment(), _q1.GetVertex(), _q2.GetVertex(),
common_counters, bp1, bp2);
q1_before_q2 = bp1.getValue();
q2_before_q1 = bp2.getValue();
if (preced != null) {
lex_eq = preced.GetRightChild(); // S1 =lex S2
preced = preced.GetLeftChild(); // S1 <lex[strict] S2
}