Symbolic Leaf Representation in Decoupled Search