Gitignore.
Add tracing to the substitution state.

trace(goal) returns a new goal that also adds a trace frame to the substitution state, which you can then inspect on answers.