Proving False in Object-Oriented Verification Programs by Exploiting Non-Termination. - Jaymon Furniss (CoRR, 2022)