Fixing potential unsoundness in QP state consolidation#910

marcoeilers merged 7 commits into

masterviperproject/silicon:masterfrom

meilers_fix_903_qpsviperproject/silicon:meilers_fix_903_qpsCopy head branch name to clipboard