profiling id in evaluation, FIX: updating situation updates the bdd