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