correct Cst decl + write
beg reworking on reg constraints