Static test added
Do not store loop edges, Problematic test case for subclassing