added a transformer that splits cast-and-return patterns so that the variable splitter and the type assigner no longer fail on them