check_in_verify may miss some predicates

[icosac]

The check_in_verify function checks recursively if the predicate's arguments are inside the verify predicate, but it does not check the predicate itself! This must be changed and new tests should be added to ensure it works correctly.