# Testing proof generation and checking.

<a> <b> [].
{<a> <b> ?x} => { ?x <b2> <c2> }.
# ends