code: public static AliasFinder newInstance(final String variableName, final ControlFlowBlock controlFlowBlockToExamine) {
          checkArgument(!variableName.isEmpty());
          return new AliasFinder(variableName, checkNotNull(controlFlowBlockToExamine));
      }
docs: Creates a new instance of this class.
  
  @param variableName
  name of the instance variable to search aliases for. Must
  neither be {@code null} nor empty.
  @param controlFlowBlockToExamine
  a {@link ControlFlowBlock} which possibly contains the setup
  of an alias for a lazy variable. This method thereby examines
  predecessors of {@code block}, too. This parameter must not be
  {@code null}.
  @return a new instance of this class.