fixed bugs that result in non-canonicalized Collections
fixed a bug which led to IndexOutOfBound exception
implemented missing operations to fix failing cil tests
increared mbqi max iteration to fix the avl_tree/delete example
Merge pull request #1013 from yilongli/important-bugs-fixing

Important bugs fixing