public void get0_1() { AbstractMachineState state = SetupMachine(); _p = new Get0Predicate(); Verify("get0", 1); _p.Execute(state); }