stackmurecursivebooleanboehm