Interface ConstraintConstructor<Score_ extends Score<Score_>,​JustificationMapping_,​IndictedObjectsMapping_>