Disprove suggestion function updated, and corresponding tests updated accordingly