Initial implementation of a pushdown control-flow analysis for Church.