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 ~current:true "%s@." msg); DoChildren