module Transform.Rules.PF where
    
import Transform.Rewriting
    
optimise_pf :: Rule