murecursivestackboehmbooleancode