After the merge of PR#74 make tests reports changes that are not relevant. Files are mostly the same, except the order of lines has changed. We should compare logs with oracles only after sorting.