Generates the opaque term warnings