Revert "Assertions now contains subpositions instead of the locator, it is constructed by adding the clause source file when required"

This reverts commit 28fca235cfb891f83858faa2f84c6946f302fca0.
Fixed bugs in ctchecks, assrt_lib and record_locations.pl