method vterm_lval tlv = (try let lv = !Db.Properties.Interp.term_lval_to_lval tlv in ignore (self#vlval lv) with Invalid_argument msg -> error "%s@." msg); DoChildren