Contact and dive in ADFunDive