almost finished infer prest with drest in
cs-gen-Function. Support for dcon-repeat in
subst-gen will be done in future commit