#
# This file is distributed under the MIT License. See LICENSE.md for details.
#

digraph UsedReturnValuesOfFunctionCall {
  Unknown;
  Maybe [peripheries=2];
  Yes;

  # Lattice
  Unknown->Maybe;
  Maybe->Yes;

  # Transfer functions
  Maybe->Yes [label="Read"];
  Maybe->Unknown [label="Write"];
  Maybe->Unknown [label="UnknownFunctionCall"];
  Maybe->Unknown [label="TheCall"];
}