Fixed bug which causes that loop formulas were not deleted in case of glucose heuristic.