Title: Completeness with finite systems of intermediate assertions for recursive program schemes