let
host_stateOld_term () =
lval_to_term_lval (
Cil
.var (get_varinfo curStateOld))