functionRetNull(f):- bind_func(f, retsymbol(X)), bind(X, null), v(X).
functionRetNull(f):- bind_func(f, retsymbol(X)), dfa_connection(X, Y, alias), bind(Y, null), v(X), v(Y).