boehmbooleanstackmurecursive