Add support for testing input/output predicates to the `lgtunit` tool (work in progress)