#.name reply | #.name reply -> #.name reply'
 , #.name in | #.name in -> #.name in'
 , #.name blocking | #.name blocking -> #.name blocking'