fix bug of bigSubstring in ASTExtractors#1543

LioTree wants to merge 2 commits intoepfl-lara:mainepfl-lara/stainless:mainfrom

LioTree:bugfixLioTree/stainless:bugfixCopy head branch name to clipboard