IFS Extensions (conflict-based statistics, maintenance of arc consistency)