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