changed import statements
class ENFA added #4