Exploring conditional rewriting logic computations