Flow sensitive encoding in a flow insensitive calculus - View it on GitHub