2 * Change approach to non tristate and boolean configs. For now they are ignored and in their dependencies are not solved.
3 * Implement modules support. For now modules are disabled.
6 * Rewrite symlist_find. We need faster implementation. Now implemented as linear search.
7 * Write cnf_reduction. This function should reduce cnf expression. (A or A, A and A, not A or A, not A and A,...)