OVL_ERROR : ASSERT_NEVER_UNKNOWN : VIOLATION : test_expr contains X or Z : severity 1 : time 30 : main.top.assertNevUnknown.ovl_error_t