Symplify class verification in LinExpr.fromsympy()