Moved the instantiation-related activities out of the attribute usage section.
Added notes about deductions employing invocation observations.
1#!/usr/bin/env python 2 3classC: 4defm(self): 5self.x=456 6 7c=C() 8result_1=1# no real test: just make sure that c.x is not allocated 9 10# vim: tabstop=4 expandtab shiftwidth=4