ERROR: Malformed domain specification: parameter list for event processedPoints has duplicate parameter names