Infeasible Paths Elimination by Symbolic Execution Techniques: Proof of Correctness and Preservation of Pathsby Romain Aissat, Frederic Voisin and Burkhart Wolff18 Aug