UTf-8 'in' symbol for abstract values

src/memory_state/offsetmap.ml

tests/float/oracle/absorb.res.oracle

tests/float/oracle/const.res.oracle

tests/float/oracle/float_cast_implicite.res.oracle

tests/float/oracle/s.res.oracle

tests/idct/oracle/ieee_1180_1990.res.oracle

tests/misc/oracle/CruiseControl.res.oracle

tests/misc/oracle/abs.res.oracle

tests/misc/oracle/abs_addr.res.oracle

tests/misc/oracle/absolute_pointer.res.oracle

tests/misc/oracle/access_path.res.oracle

tests/misc/oracle/add_approx.res.oracle

tests/misc/oracle/addition.res.oracle

tests/misc/oracle/addr.1.res.oracle

tests/misc/oracle/addr.res.oracle

tests/misc/oracle/addr2.res.oracle

tests/misc/oracle/affect_corrupt.1.res.oracle

tests/misc/oracle/affect_corrupt.res.oracle

tests/misc/oracle/ai_annot.res.oracle

tests/misc/oracle/alias.1.res.oracle