let print_attribute attr =
   match attr with
      Bool var -> if var then print_string "true" else print_string "false"
   |  Other var -> print_string var