remove unnecessary TS checks for InlP, InrP in primToSource (assuming Church encoding)