Add options: trace_terminals, trace_values