An Automatic Translation of SBML into Beta-Binders