Added setup interface that does not take any term parameters for the testing language.