On Modular Termination Proofs of General Logic Programs