added missing consistency check between MOP-WL operators and partition return expressions. While this is identified properly by the type checker, RSO relied on there being sufficiently many return expressions for not crashing. this is checked now and a proper error message is being issued.