#const horizon = 10.
dfa_propagation(X) :- bind(_, X); X = callguard(_).