split up analyses from copy_elim and added test case for escape analysis