Make a comment that your choice of session case here is arbitrary, and our limitation wrt iFCs that foolishly specify a <SessionCase> constraint on a <Method>REGISTER</Method> SPT.