boehmbooleanstackmurecursivemachine