Module Owl_symbolic_engine