Fixed implementation of find_matches. We may want to remove the match_rule from the list, it seems to have little effect now, but matching is also used for user rules.
(more) Timeouts for symbolic execution