Using flags in Set Analysis