On Decidability of Concurrent Kleene Algebra