Implement CONTENT_REVERSE_POINTS_TO_SET.
Implement ARGUMENT_POINTS_TO_SET.
Implement ARGUMENT_REVERSE_POINTS_TO_SET.
Implement RETURN_VALUE_POINTS_TO_SET.
Implement RETURN_VALUE_REVERSE_POINTS_TO_SET. Also fix some missing specialization declarations. This completes the basic relation analysis logic.