let conj cs = 
  List.fold_left ( ^ ) (CTrue undefined_position) cs