public void skip_1() { AbstractMachineState state = SetupMachine(); _p = new SkipPredicate(); Verify("skip", 1); _p.Execute(state); }