fixed bugs when compiling with VERBOSE_DPLL=1
changed function name
implemented possibility to print with color