MCSAT: Preprocessor: fix equality simplification for mixed real-integer terms #29

Job	Run time
windows-latest\|debug\|	12m 36s
windows-latest\|debug\|--enable-thread-safety	13m 44s
windows-latest\|release\|	13m 31s
windows-latest\|release\|--enable-thread-safety	14m 34s
	54m 25s

Provide feedback