Before revision:   Our first main result is an algorithm that computes all identifiable functions without any additional assumptions  .
After revision:  However, this solvability condition is not always satisfied, which presents a challenge. Our first main result is an algorithm that computes all identifiable functions without any additional assumptions .