fix expression simplifier
fix expression reducer for nondets