private boolean hasNextBranchCondition(){
  return !unsolvedBranchConditions.isEmpty();
}

private boolean hasNextBranchCondition ( ) { return ! unsolvedBranchConditions . isEmpty ( ) ; }
check if there are further candidates for negation
