everything seems to work now for real numbers
adding printing of generalized counter examples