isPMC (EVar (Prim p _))         = p `elem` [Match,Commit,Fatbar,Fail]
isPMC (EVar (Prim p _))         = p `elem` [Match,Commit,Fatbar,Fail]
isPMC (EVar (Prim p _))         = p `elem` [Match,Commit,Fatbar,Fail]