Add two more utility predicate for testing input/output predicates to the `lgtunit` tool