let
host_stateOld_term () =
lval_to_term_lval ~cast:
true
(
Cil
.var (get_varinfo curStateOld))