Reasoning Tradeoffs In Implicit Invocation And Aspect Oriented Languages