Renaming proverArgs annotation and cleaning up annotation handling#932

marcoeilers merged 2 commits into

masterviperproject/silicon:masterfrom

meilers_prover_arg_annotation_renameviperproject/silicon:meilers_prover_arg_annotation_renameCopy head branch name to clipboard