boehmbooleanmurecursivestackmachine