WIP: slow WM....
VT: Init fail fix
VT: restored find versions
VT: Full view import
WIP: bugfixing
VT: Correctness test refactoring
WIP
WIP: debugging
IT works
VT: fixes3