let binding_of_pel l = biAnd_of_list (List.map bi_of_pe l)