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