to support args for graph tactic

[lyhlbyl]

these args serve as binding for the variables in the env of goal node, i.e. only the named env variables are past into subgraph