added new SBMLValidator, remove dead code