Оптимизация тестера - почему не может перебирать bool значения

 
Subj, почему bool параметры недоступны для перебора оптимизатором тестера? bool ведь по сути имеет всего два значения, и можно написать советника-двойника, в котором заменить все bool на int и в коде if проверять параметр на != 0.
А в оптимизации тестера поставить перебор этих параметров от 0 до 1 с шагом 1.
Вопрос, зачем этот гемор, и почему тестер сам этого не понимает?