Two fixes for VerifyThis issues#681

marcoeilers merged 2 commits into

masterviperproject/silver:masterfrom

meilers_term_pred_fixviperproject/silver:meilers_term_pred_fixCopy head branch name to clipboard