Add additional tests
 + Add tests for type constraints enforcement
 + Add tests for DROP TABLE statements
Ensure ignored paths are correctly removed from coverage
Additional tests for predicate filtering
Fix predicate emission issue
Int values weren't extracted correctly in comparisons.
Add tests for nested predicates to spec
Add tests for nested predicates to spec
Fix comparison parsing difficulties
Fix issue where nested predicates didn't emit the correct partial function