murecursivestackboehmbooleantomachine