murecursivestackbooleanboehm