DropQuery  nested_smt (children 1)
 Identifier nested_smt
