#const horizon = 10.
dfa_propagation(callguard(commDirect)).