corrected the version spaces algorithm