Rename module Clause to Clause2