An implementation of a flow analysis for higher order languages