add benchmarks that involve recursion through (S) type external atoms

as written by one reviewer: this requires FLP checking and according benchmarks should also be discussed and results should be shown

[for (G) type external atoms, the existing benchmarks already contain sufficient recursion through external atoms, but these do not have a FLP-relevant effect as their semantics do not depend on the interpretation]