Added detection of expressions that are always true or always false