function used = lmi(F)

used = [];
F = flatten(F);
for i = 1:length(F.clauses)
    Fi = F.clauses{i};
    used = unique([used;getvariables(Fi.data)']);
end