Template:Non-free reduce/testcases