Add code contracts check for ability to modify list