(piecewise_function_from_breakpoints_slopes_and_values): Remove global debugging variable
(gj_2_slope_limit): Coerce parameters to nice field
(generate_example_e_for_psi_n): More error checking
(psi_gj_conjecture_counterexample): New