Fixed unit tests
In assrt_lib:assertion_records/6, File should not be a free variable
Saving Location into assertion_head/7 instead of only the subterm position