murecursivestackboehmbooleanmachine.cpp