Add contrib of Andrei Duma to VmChecker.