Pure Ruby implementation of data flow label propagation.
Copyright (c) 2012 Massachusetts Institute of Technology. See LICENSE.txt for further details.