General

Yo no recuerdo que hayamos prohibido nunca retornar cosas de los monitores. Obviamente no podés retornar variables de tipo condition y si retornás una variable del monitor vas a tener una copia de su valor en el momento del return sin ninguna garantía de que el mismo se mantenga luego de dejar el monitor. En el ejemplo que ponés que se retorna una variable local del procedimiento no hay problema.
Una función del monitor puede llamar a otra del mismo monitor sin problema, por lo que se pueden usar funciones auxiliares. Son una función más del monitor que podría no llamarse desde afuera.

Saludos