Check if throw matches a catch

[PhazonicRidley]

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