Expression::isReducible added.