We assert output is z on the gl netlist
m
We assert output is z on the gl netlist