I'd like to get a clarification from p6l as to whether junction states should be made unique before applying or rejecting this patch. I'm particularly curious about one() junctions.
Also, it seems like it would be better to make the list unique inside of !MAKE_JUNCTION instead of duplicating this code throughout all of the junction constructors. This would also avoid creating yet another private function. Thanks! Pm