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

digraph UsedReturnValuesOfFunction {
  Bottom;
  Maybe [peripheries=2];
  Yes;
  Unknown;

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

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