added code to check for created-by-empty-reduction