formal-verification public under method 104 List Picture As a command %3 n0 formal-verification n1 method n1->n0