Improved testNoDisprove