Layering Multiple-Inheritance Solver
Stratification Solver working
temporarily disabling aastore constraints
taking aastore into account (buggy)
aastore bug documentation in code
unsharing compound value references
checking local variable table constraints at ALOAD time