The Benefits of Global Dataflow Analysis for an Optimizing Prolog Compiler