[GHC] #13222: Update formalism for join points