Софийската градска прокуратура е образувала досъдебно производство срещу бившия изпълнителен директор на "Петрол" АД - Цветан Димитров.