added isRegular, isEulerian, isSemiEulerian in predicates and nregular in enumeration, modified test accordingly