Small fix in mvp (add all labels to work list), interprocedural stuff for pointer analysis, untested