Verified Construction of Static Single Assignment Form by Sebastian Ullrich 📧 and Denis Lohner 🌐 Feb 05