Done with the new mechanism of non-det primitive. Added parsec/flui annotation.
Done with the new mechanism of non-det primitive. Added parsec/flui annotation.

columbia/xtern,hemingcui/xtern_with_paxos,columbia/xtern,columbia/xtern,columbia/xtern,columbia/xtern,hemingcui/xtern_with_paxos,hemingcui/xtern_with_paxos,hemingcui/xtern_with_paxos,columbia/xtern,hemingcui/xtern_with_paxos