EccSymbolicAdd in schoof