unexpected " "
expecting "-" or digit

Termination could not be proved.