Text this: A Static Analysis Framework for Livelock Freedom in CSP