Svagt matchande rim för recursive procedure