continued work on interprocedural analysis, extended intraprocedural and aexp to deal with return statements (untested)