let conj_crosscond_old (value,cross) expr = if value=Bool3.True then expr else new_exp ~loc:expr.eloc (BinOp (LAnd,cross,expr,Cil.intType))