Supported nested invocations; handled unusable values when deducing attributes.
Refuse to produce guards without any usable deductions.
syspython-as-target
1#!/usr/bin/env python 2 3classC: 4x=1 5 6classD: 7x=2 8 9defgetattr(obj,name): 10returnobj.x 11 12result_1=getattr(C,"x")# "x" should be a str, since no dynamic access is done 13result_2=getattr(D,"x") 14 15# vim: tabstop=4 expandtab shiftwidth=4