enabling the DT analyses from entry 'main' only for DTs located in functions
fixing the interaction of mbeddr analyses with CBMC 4.9