Valama: Error report works correctly with multiple source files