let cnstrnt_pp s = 
  Sign.pp Format.std_formatter s;
  Format.print_flush ()