Propositional logic binary tree program in C