Using alternate states with Set Analysis