1 Loop entry points should capture usage to update later assignments in the loop.
2 The continue and break statements should affect usage propagation.
3
4 Constant attribute users need not maintain usage since they are already resolved.
5
6 Consider handling CallFunc in micropython.inspect in order to produce instances of specific classes.
7 Then, consider adding support for guard removal/verification where known instances are involved.
8 Consider handling branches of values within namespaces in order to support more precise value usage.