public void writeln_1() { AbstractMachineState state = SetupMachine(); _p = new WriteLnPredicate(); Verify("writeln", 1); _p.Execute(state); }