Fixed extended NameFix to find not-preserved definitions again;
Added method references to methods they override;
Made LDT transformation less hygienic again for testing