generating summary after analyzing one method
rslv conflicts, but with assertion error (null for Phi)