add Module argument to coreToStg