Close #81: epf module
fix non-deterministic spec
changelog update