| test.py:5:7:5:13 | ControlFlowNode for PATTERN | <MISSING pointsTo()> |