Termination analysis and call graph construction for higher-order functional programs