include "common/AST.ma".
include "utilities/Interference.ma".

definition decision ≝ Immediate.

(* XXX: should be a map! *)
definition colouring ≝ list (vertex × decision).

axiom colour_colouring: colouring.
axiom colour_locals: nat.