cleaned up debug info for has_crossing
minor formating of opt_solver