vlog95: Note that casex (==?) and casez (synthesis) operators are not supported