Fix LogicInfo parsing for string logics