Removed repeated pop causing runtime errors on disproved properties