more robust termination condition for eventually matchers
fixed an evaluation case with `match result and matcher`