Algorithm for Constructing a Guaranteeing Program Package in a Control Problem with Incomplete Information