-- Symbolic Test Case Generation for Primitive Recursive Functions -- Preserving