Starting to formulate CBP

Still missing some constraints (they don't seem to be processed for the
moment anyway).