Configuration changed to be a library. Verification for LRL in model3 is made more correct
For the VVI model verification is improved - conditions added