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