Add Sat_inst.Make.block_model