move hash tbl invariants creator
interface for extern module
dummy implementation of extern writer
output & file-writing of created invariants
parameter ext_readFile