Integrated changes suggested by Jan's implementation of list_trivial_fails in check_trivial_fails.pl