Constraint Propagation and Value Acquisition: why we should do it Interactively