This code is part of my dissertation "A computational approach to the syntax of displacement and the semantics of scope". - View it on GitHub