1) no longer propagating zero abstractions
2) now also calculating aliases for source assignments