Add allocation strategy information to environment
Use two different address schemes to improve precision at some places
Add switching to parameter-sensitive k-CFA