Python files changed to use the new interface of HitPattern