\renewcommand{\abstractname}{\Large Abstract} \begin{abstract} In recent decades, \gls{apr} has been advancing consistently according to benchmarks. However, its use in practice is still limited due to the difficulty in choosing a desired patch among the generated pool. This work introduces a method to logically differentiate between patches through symbolic execution. The technique generates a tree of decisions for developers to reason between patches based on the program's inputs and semi-automatically captured outputs. \end{abstract} \thispagestyle{empty}