WORST_CASE(?,O(n^1)) Solution: --------- a :: [] -(4)-> A(0) activate :: [A(11)] -(8)-> A(0) f :: [A(0)] -(3)-> A(0) g :: [A(0)] -(0)-> A(14) n__a :: [] -(0)-> A(11) n__a :: [] -(0)-> A(12) n__a :: [] -(0)-> A(4) n__f :: [A(11)] -(11)-> A(11) n__f :: [A(0)] -(0)-> A(0) Cost Free Signatures: --------------------- a :: [] -(0)-> A_cf(0) activate :: [A_cf(0)] -(0)-> A_cf(0) f :: [A_cf(0)] -(0)-> A_cf(0) g :: [A_cf(0)] -(0)-> A_cf(0) n__a :: [] -(0)-> A_cf(0) n__f :: [A_cf(0)] -(0)-> A_cf(0) Base Constructors: ------------------ g_A :: [A(0)] -(0)-> A(1) n__a_A :: [] -(0)-> A(1) n__f_A :: [A(0)] -(1)-> A(1)