Check if throw matches a catch #48
Description
On reaching a catch site, check that the current throw being checked matches a or doesn't match the catch site. If it matches, the program is valid, if it doesn't match, the graph exploration continues
{{ message }}