removeMatch(left, right, state, mem, agenda);
removeMatch(left, right, state, mem, agenda);
removeMatch(left, it.next(), state, mem, agenda);
removeMatch(left, it.next(), state, mem, agenda);
removeMatch((Tuple)it.next(), right, state, mem, agenda);
removeMatch(left, right, state, mem, agenda); removeMatch(left, right, state, mem, agenda);
removeMatch((Tuple)it.next(), right, state, mem, agenda);
removeMatch(left, right, state, mem, agenda); removeMatch(left, right, state, mem, agenda);
removeMatch(left, right, state, mem, agenda); removeMatch(left, right, state, mem, agenda);
removeMatch(left, right, state, mem, agenda); removeMatch(left, right, state, mem, agenda);