integrating may-alias experiment.
resolve conflicts