[INFER'23] A new Infer entry door: the Textual IR | ACM SIGPLAN | Podwise