Replace vector< Literal > with SmallVector< Literal > in Clause.