- Requires updates to PartialMap to handle changes - Decides if a macro is simple by checking the sequence depth (Simple == 1)