Make enumeration in atermdd re-entrant
Make enumeration in atermdd re-entrant

Also re-indent the affected functions to make the
code more readable

(Closes #531)

buschko/ltsmin,Sybe/composition,trolando/ltsmin,buschko/ltsmin,utwente-fmt/ltsmin,utwente-fmt/ltsmin,lordqwerty/ltsmin,trolando/ltsmin,utwente-fmt/ltsmin,Sybe/composition,alaarman/ltsmin,vbloemen/ltsmin,Sybe/composition,vbloemen/ltsmin,buschko/ltsmin,thedobs/LTSmin,trolando/ltsmin,alaarman/ltsmin,Meijuh/ltsmin,thedobs/LTSmin,vbloemen/ltsmin,Sybe/composition,utwente-fmt/ltsmin,alaarman/ltsmin,Meijuh/ltsmin,vbloemen/ltsmin,vbloemen/ltsmin,Meijuh/ltsmin,buschko/ltsmin,vbloemen/ltsmin,thedobs/LTSmin,lordqwerty/ltsmin,Meijuh/ltsmin,utwente-fmt/ltsmin,thedobs/LTSmin,utwente-fmt/ltsmin,alaarman/ltsmin,trolando/ltsmin,alaarman/ltsmin,lordqwerty/ltsmin,Meijuh/ltsmin,alaarman/ltsmin,Meijuh/ltsmin,lordqwerty/ltsmin,vbloemen/ltsmin