flip in simplifyElses if it can help