send three arguments to dfawalkers (we now get the node val). pass the stub packages to augment_dfa()