Statistics for Training binary classifiers as data structure invariants