(VAR x )
(STRATEGY CONTEXTSENSITIVE
        (f_1 ) 
        (g_1 ) 
        (a_0 ) 
        (f_0 1) 
        (b_0 ) 
        (*top*_0 1) 
)
(RULES 
        f_1(g_1(a_0)) -> a_0
        f_1(f_0(x)) -> b_0
        f_1(f_1(x)) -> b_0
        g_1(x) -> f_1(g_1(x))
        *top*_0(g_1(x)) -> *top*_0(f_0(g_1(x)))
        f_0(g_1(x)) -> f_1(f_0(g_1(x)))
        
)