VdmQueryChecker has three functions now.