public void nl_0() { AbstractMachineState state = SetupMachine(); _p = new NlPredicate(); Verify("nl", 0); _p.Execute(state); }