Fixed bug about reusing indices. Better messages about the state of formulae.