SBML load works correctly