Those parameters are correctly parsed now and can be found with "//FormalParameter[@ExplicitReceiverParameter='true']"