In verbose mode: print values after finding a more significant conjecture for invariant-based conjectures