Added undecidable rules for mutual promotion of some compiler classes