discovered a bug in normalizeExps that instead of 'trivializing' an expression replaced it with something completely different