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