moved routine for supermaximality check to esa-smax.c