[r8631]

[r8629]

extended debug output

[r8627]

BugFix: ARR_F may be relocated when resized, so there is another indirection needed to keep track of the phi classes

[r8626]

[r8625]

fixed do_walk (call pre and post only if set)

[r8624]

[r8619]

[r8617]

removed redundant file

[r8615]

[r8613]

[r8612]

[r8611]

[r8610]

[r8609]

[r8607]

[r8604]

[r8600]

This speeds up things and fixes some verification errors (CF-Bad) in the Spec

[r8599]

[r8598]

[r8596]

[r8595]

[r8593]

[r8592]

[r8591]

[r8588]

[r8586]

[r8585]

[r8583]

[r8582]

[r8581]

[r8580]

[r8579]

[r8578]

[r8577]

[r8576]

[r8573]

[r8569]

Added an assert to assure costs are >= 0, not sure if that is correct, if it is
not then max_costs should be initialized to INT_MIN...

[r8568]

[r8563]

[r8562]