I implemented the delete-inconsistent-handle transformation. The function takes an expression and it either deletes it (returns ( )) or keeps it (returns the expression itself) depending on its consistency. The consistency of an expression is checked using the function isConsistentExp which uses the function getGuardSetExp to get the guardset of the expression and check for any inconsistencies.
I implemented the delete-inconsistent-handle transformation. The function takes an expression and it either deletes it (returns ( )) or keeps it (returns the expression itself) depending on its consistency. The consistency of an expression is checked using the function
isConsistentExpwhich uses the functiongetGuardSetExpto get the guardset of the expression and check for any inconsistencies.