SCC-recursiveness in infinite argumentation (extended version)