/**
 * Contains an extension of the general org.checkerframework.dataflow framework that is specific to
 * the Checker Framework and can be used by any checker.
 */
package org.checkerframework.framework.flow;