high: Avoid adding rules with $VOID variables.
Also, updated testbench to test this.