removing of SVL as a model (to be supported as an element in the verification package)