#KJ-19 Symbolic execution support. Replaced all occurrences of 'If in preprocessing phases with ifAux, to improve the performance of symbolic execution.