let rec print_cross cr =
  printf "%s" (string_of_condition cr)