unique name for formulae, fixes #5

use @index in <act> and the seq no. among sibling formulae