val colour_graph :
 AST.ident List.list ->
  Joint.joint_internal_function ->
   Fixpoints.valuation ->
    Interference.coloured_graph