The code looks like it means to apply NoContraction on dot(), but doesn't actually. Test case:
#version 450 core
precise gl_Position;
float u;
void main()
{
vec4 v = vec4(u);
precise float f = dot(v, v);
gl_Position = vec4(f);
}
The above doesn't generate any NoContraction decorations.