machineboehmbooleanstackmurecursive