BDD enhanced with CIT’s