program-assertion public under program-statement 2 List Picture As a command %3 n0 program-assertion n1 program-statement n1->n0