Version 2.57
(probably)
Tried to update ANIMO version 2.57 from master branch with the things in
this branch here. There is still a problem reading the output trace: the
_c" reactants are not recognized, as we probably still look for the
version without the "_c"