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))