Added loop to CSP.__forward_check.