add Egison name space as mentioned #6