More fixes#2

andrii-a8c merged 1 commit into

masterasymptotic-code/boogie:masterfrom

more-boogie-fails-fixasymptotic-code/boogie:more-boogie-fails-fixCopy head branch name to clipboard