title: Not sufficiently instantiated for maplist(all_distinct, list)
body: <p>I'm not able to run this code, what exactly do I have to say about the list to allow <code>maplist/2</code> to run <code>all_distinct/1</code>?</p>
  
  <pre><code>Solution = [A, B, C, D, E, F, G, H, I], 
  Solution ins 1..9, 
  maplist(all_distinct, Solution).
  </code></pre>
  
  <p>I get <code>ERROR: Arguments are not sufficiently instantiated</code>.  I understand that I'm not telling it enough about the list of numbers, but I don't know what I need to tell it.  I want a list of 9 different numbers 1 through 9.</p>
  
  <p>Here's a trace when I try to execute:</p>
  
  <pre><code>   Call: (7) puzzle(_G548) ? creep
     Call: (8) _G548=[_G656, _G659, _G662, _G665, _G668, _G671, _G674, _G677|...] ? creep
     Exit: (8) [_G656, _G659, _G662, _G665, _G668, _G671, _G674, _G677|...]=[_G656, _G659, _G662, _G665, _G668, _G671, _G674, _G677|...] ? creep
     Call: (8) clpfd: ([_G656, _G659, _G662, _G665, _G668, _G671, _G674|...]ins 1..9) ? creep
     Call: (9) error:must_be(list, [_G656, _G659, _G662, _G665, _G668, _G671, _G674|...]) ? creep
     Exit: (9) error:must_be(list, [_G656, _G659, _G662, _G665, _G668, _G671, _G674|...]) ? creep
     Call: (9) clpfd:'__aux_maplist/2_fd_variable+0'([_G656, _G659, _G662, _G665, _G668, _G671, _G674|...]) ? creep
     Call: (10) clpfd:fd_variable(_G656) ? creep
     Call: (11) var(_G656) ? creep
     Exit: (11) var(_G656) ? creep
     Call: (11) true ? creep
     Exit: (11) true ? creep
     Exit: (10) clpfd:fd_variable(_G656) ? creep
     Call: (10) clpfd:'__aux_maplist/2_fd_variable+0'([_G659, _G662, _G665, _G668, _G671, _G674, _G677|...]) ? creep
  </code></pre>
  
  <p>It looks like <code>ins/2</code> might be not working and then still passing off to <code>maplist/2</code>?  I've got no idea what is happening.</p>