Moving to simply typed and some predicates of weak bisimilarity