Fix isDefinedAt propagation of Choice, Split for PartialFunction.
Merge pull request #258 from S11001001/topic/partial-function-split

Fix isDefinedAt propagation of Choice, Split for PartialFunction