let descr =
         "restrict verification to a specific behavior (safety, default or a user-defined behavior)"