VT: Correctness check WIP