base.Try

imm #[T$0:iso,imm,mut,read,R$0:imm,mut,read](data: iso T$0, try: read base.F[iso T$0,R$0]): mut base.Action[R$0] -> …,
imm #[R$0:imm,mut,read](try: read base.F[R$0]): mut base.Action[R$0] -> …,
imm #[T$0:iso,imm,mut,read,R$0:imm,mut,read](data: iso T$0, try: read base.F[iso T$0,R$0]): mut base.Action[R$0] -> …,
imm #[R$0:imm,mut,read](try: read base.F[R$0]): mut base.Action[R$0] -> …,