1 Support __init__ traversal (and other implicit names) more effectively.
2
3 Check context_value initialisation (avoiding or handling None effectively).
4
5 Loop entry points should capture usage to update later assignments in the loop.
6 The continue and break statements should affect usage propagation.
7
8 Constant attribute users need not maintain usage since they are already resolved.
9
10 Consider handling CallFunc in micropython.inspect in order to produce instances of specific classes.
11 Then, consider adding support for guard removal/verification where known instances are involved.
12 Consider handling branches of values within namespaces in order to support more precise value usage.