Add tools for imperative program representation