Make the effect inference independent of the order of method declarations #14
Description
Currently, DPJizer assumes that the methods are declared in an order that makes it possible to propagate the method effects in a single pass. That is, DPJizer assumes if method m2 invokes m1, the declaration of m1 appears before that of m2. Therefore, the effects of m1 are known when they are needed to compute the effects of m2. We need to make DPJizer compute the effects regardless of the order of method declarations. I think this issue is a good stepping stone towards issue #13.