Using TreeDSL to make code generation code more compact and readable, attempting to generate method that will convert funcheck expressions to scala terms.