Text this: A Symbolic Algorithm for Checking the Identifiability of a Time-Series Model