Bug located in method TheoKeySignCtrol::set_new_problem(). Now fixed. Will be included in next release.
Bug located in method TheoKeySignCtro l::set_ new_problem( ). Now fixed. Will be included in next release.