Fixed bug were between order of E and A in skolemize
Changed magic code points to constants