Two CatchClause to achieve get rid of K and ensure computations
syntax CatchClause ::="catch" "(" Param ")" Block [klabel('Catch)]
syntax CatchClause ::="catch" "(" K ")" K [klabel('Catch)]