Created function to check IC1
Created constraint check 3, 4, 5