addMatch(left, right, state, mem, agenda);
addMatch(left, right, state, mem, agenda);
if(checkNonindexedConstraints(left, right, state)) addMatch(left, right, state, mem, agenda);
if(checkNonindexedConstraints(left, right, state)) addMatch(left, right, state, mem, agenda);
if(checkNonindexedConstraints(left, right, state)) addMatch(left, right, state, mem, agenda);
if(checkNonindexedConstraints(left, right, state)) addMatch(left, right, state, mem, agenda);
addMatch(left, right, state, mem, agenda);
addMatch(left, right, state, mem, agenda);
addMatch(left, right, state, mem, agenda);
addMatch(left, right, state, mem, agenda);