add knuth-bendix completion