Parameters set to 2 (from test in TEA0.8 Version Info). Running First test on Enzyme Corpus.