Resolving the issue with temporaries; essential when replacing muAll and muOr with calls to ALL and OR.