We called return_from_matcher once inside matcher_evaluate_capturing_instruction and outside of it. That way we returned not to the parent call stack entry but to the grandparent.
