murecursivestackboehmbooleanmachine