Uncertain Verification - Navision