method vlogic_var_decl lv = Jessie_options.feedback "%a" !Ast_printer.d_logic_var lv; visitor#vlogic_var_decl lv