Transaction works in SBMLModelReader