ClauseProvider moved to package "theory"