:- module(dict_subst, [g/3, f/2]).

g(_X, k(_Z), a).

f(x, _O{a:(b,   c)}).