added filter for Boogie verification conditions (to prune assertions already proved by Boogie/Z3)
added filter for Boogie verification conditions (to prune assertions already proved by Boogie/Z3)

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle