ClauseStore

constructor()