Broken forward checking