Update.
Handwritten testcases (up to 5 arguments).
Systematic testcases for 5 arguments.
Handwritten testcases for 6 arguments.
Auomatic testcases for 6 arguments.
Further systematic testcases for 6 arguments.
Given testcases for 7 arguments.