Add flag for ForceBplErrors#920

petemud wants to merge 2 commits intoboogie-org:masterboogie-org/boogie:masterfrom

petemud:patch-1petemud/boogie:patch-1Copy head branch name to clipboard