Prove simple iterative sum

I think this is compiling the definition twice. @dwightguth how should this config file look like?