up to interprocedural assignments done