stackmurecursiveboehmbooleanmachine