Type error at line 33: Argument(s) to operator '%' must be of type BitVector.
    invariant time_step: time % 30 == 0;
                         ^
Parsing failed. 1 errors found.
