fix issue #183
Frankly, I have no idea why eliminate_match results in a task where everything, including the goal, is considered non-local
At least there is no more assertion failure
Frankly, I have no idea why eliminate_match results in a task where everything, including the goal, is considered non-local
At least there is no more assertion failure