In case there isn't a PDF file, try to load an MDB file (Mono) to get the symbols.
AssertDistributionRule: Handle multiple instructions with sequence points that refer to the same line.