prop → irep2 Relation

File in src/solvers/prop	Includes file in src/irep2
pointer_logic.cpp	irep2_utils.h
pointer_logic.h	irep2.h