Lower level duality and the global solution of generalized semi-infinite programs. (2nd June 2016)