added -useGlucose option for iterative unit propagation