Analysis: composed invocations