let coefficient_of x = 
      let is_pos_and_eq_var_x = is_pos &&& is_var x in
        coefficient_choose is_pos_and_eq_var_x