Static program slicer used in Symbiotic tool - View it on GitHub