adapted old code to new convention

the egt file reading now uses the common convention of explicit imporint
of predicates