need to blacklist node during z3 data plane generation