The rule translation results in matching the binary: "0b0001010000000001" It should be "0b0010010000000001" or really any selection from: "0b0010010000000001" "0b0110010000000001" "0b1010010000000001" "0b1110010000000001" in order to match an "indeterminate LI"; as my rule was not concerned with this value. I cannot reason as to why VN is matched as 2 instead of 4. sunny
