In OP10 you were asked to think of ways in which you could eliminate redundancy during symbolic execution. After reading today's paper on compositional dynamic test generation, rewrite your OP10 and answer the exact same question (but hopefully with added insight). Feel free to propose something completely different from what you described in your OP10.