Type error at line 27: Argument(s) to operator '|' must be of type BitVector.
        y2' = x2' | r2;
              ^
Type error at line 28: Argument(s) to operator '|' must be of type BitVector.
        r2' = x2' | r2;
              ^
Parsing failed. 2 errors found.
