fixing typos in ChanceNode example and prob. Adding exclude option to SemiNFG