fix comparison for boolean unification parameter