Added tests for disproving a suggestion