fixed_length

The length every match has, or -1 if they differ (or the program is too big to tell).

fixed_length :: (program: *Program) -> int