[alias] tests updated

src/plugins/alias/abstract_state.ml

src/plugins/alias/abstract_state.mli

src/plugins/alias/analysis.ml

src/plugins/alias/tests/basic/assignment1.c

src/plugins/alias/tests/basic/assignment2.c

src/plugins/alias/tests/basic/assignment3.c

src/plugins/alias/tests/basic/assignment4.c

src/plugins/alias/tests/basic/cast1.c

src/plugins/alias/tests/basic/conditional1.c

src/plugins/alias/tests/basic/conditional2.c

src/plugins/alias/tests/basic/function1.c

src/plugins/alias/tests/basic/function2.c

src/plugins/alias/tests/basic/function3.c

src/plugins/alias/tests/basic/function4.c

src/plugins/alias/tests/basic/function5.c

src/plugins/alias/tests/basic/oracle/assignment1.res.oracle

src/plugins/alias/tests/basic/oracle/assignment2.res.oracle

src/plugins/alias/tests/basic/oracle/assignment3.res.oracle

src/plugins/alias/tests/basic/oracle/assignment4.res.oracle

src/plugins/alias/tests/basic/oracle/cast1.res.oracle