More analysis

Generalized_MM has the most general code and all counter examples for
MM+PC rule. Updated tex accordingly.