testing
trace mode clause-from
tracing done
commented