Class BavetFilterTriConstraintStream<Solution_,​A,​B,​C>