open-axiom repository from github
)co sf-2910351 x : Identifier := 'PlaneAlgebraicCurvePlot getCtorKindInString(x)$Bug
