Unchecked grammar for procedures