fix source mode.
protect from tracing.
ensure loading is recognised.
fix bad formatting.
fix unrelated comment.
fixes for notrace predicates.