Add program evaluator that manage output and simplification