RecordAllThrownExceptions
RecordJoinedThrownExceptions
RecordReturnFromMethodInstructions
RecordReturnedValueInfrastructure
RecordReturnedValuesInfrastructure
RefinedTypeLevelFieldAccessInstructions
RefinedTypeLevelInvokeInstructions
ReifiedSingleValueConstraint
ReifiedTwoValuesConstraint
refSetUpperTypeBoundOfTopOperand
registerOnControlFlowUpdater
registerOnExceptionalControlFlowUpdater
registerOnRegularControlFlowUpdater