added golden output
changed the suffix of the trace file from .bpl to .txt to avoid confusing the lit tool