Removed code for incorrect checking of assumption's free vars in axiom statements
Removed code for incorrect checking of assumption's free vars in axiom statements
Added big fa proof test (from task #7)