Resolución de conflicto is_empty, tanto en sci como en stacky se declaraba