Support for RESET command in CVC native language (and infrastructure for support elsewhere).