boehmbooleanstackmurecursiveassembl