Update tests (and use default discriminant for Parse_Result_T)