[alias] remove locals from function summaries

src/plugins/alias/src/abstract_state.ml

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

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/assignment5.res.oracle

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

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

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

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

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

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

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

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

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

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

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

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

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