platin: record origin of constraints to exclude "boring" transformed flow facts
platin: more useful output for analyze-trace
platin: analyze-trace also works with trace files, and prints useful summary on the console if no output file is specified