@Override
    public int numberOfNonInitializedBranches() {
      return thenBranch().numberOfNonInitializedBranches() + elseBranch().numberOfNonInitializedBranches();
    }
@Override
    public int numberOfNonInitializedBranches()