EVM: Incorporating Model Checking into Exploratory Visual Analysis