Proofs for Programs with Shape-Shifting Heaps -- Termination Analysis with Calling