Replacing muAll and muOr with calls to ALL and OR: bugfix and optimization.