removed duplicate stuff in the poolallocator and checking when trying to free a pointer if it belongs to the pool