__SMACK_top_decl declared variables added to modifies.