module Transform.Rules.PF where
    
import Transform.Rewriting

sum_sfusion :: Rule
optimise_pf :: Rule