Integration of assessments on classical B + synthesis of the results