test arity+keywords-subtract, fix bug, and use test-case