Not using ExecutionMirror to do verification