Fixed Bug when using Or with assumptions