recursiveness tester considers argument and parameter types