Added math header for lazy instantiated objects if required. Increased time limit for `bcov`#433

S1eGa merged 1 commit intoUnitTestBot:mainUnitTestBot/UTBotCpp:mainfrom

S1eGa:getN1ght/math-headerS1eGa/UTBotCpp:getN1ght/math-headerCopy head branch name to clipboard