Check bound on 'for' in sidings constraint