add assert files