Added _eval_simplify to Boolean