Constraint acquisition needs better benchmarks · DeepSignal