the spec says: there shall be at least one body
updated cli mockup: removed recursion depth argument, added types to check argument