extending test cases
added failing tests
refactored Dcucc slightly (unused variables)
extract method
fixed not minimal condition finding