better effects analysis for calls to lexically bound procedures