Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis.