Conflicts_with statements are added to formulas