Expression#isReducible added