TESTING: exploring test case bug
WyCS: Fixed a bug related to axiom instantiation.
The bug was related to variable capture when inling axioms.