Assignment checking improvements.