Fix compiler performance bug where, in case of a compilation error of a source file term, the remaining source file terms would still be read