More exclusion of cascade contraints