Title: An improved tool for automated compiler construction