Insert missing pragma Pure/Preelaborate