function F = colon(F,tag)
% COLON Overloaded
% Allows the syntax (x>0):Tag in order to give names/descriptions to
% constraints
F = flatten(F);
for i = 1:length(F.clauses)
F.clauses{i}.handle = tag;
end