Sure.

    A f(a,b,c)

becomes

    A f(a,b,c,d)

and

    f(a,b,c) -> A

grows to

    f(a,b,c,d) -> A