Add priority attribute for code fragments

[AndreVanDelft]

For "normal" code fragments, i.e. the ones that are internal atomic actions, a priority attribute could become useful. This could be an integer type attribute of such nodes; it should be used in the message ordering.