ERROR: Malformed domain specification: return parameter list for command processPoints has duplicate parameter names