VT: Correctness test refactoring