Interface BavetJoinConstraintStream<Solution_>