Text this: A Theoretical Bound Which Improves the Performance of Compilation-Based Multi-Agent Path Finding