Flow sensitive encoding in a flow insensitive calculus