Add overrides for the ContEngine::print and MultEngine::print functions for expression trace output.
Expressions unit tests are now included in ta_test.