Renaming clauseVifier to vivifier