first version reg constraints (diff_out not taken into account)