Automatically convert mutations in imperative code into functional actions?

softwareengineering.stackexchange.com