let generate_constraint b =
  let c, env = init_env () in
  c ((snd (infer_program env b)) (CDump Positions.undefined_position))