Update test outputs for syntactic-update.
Update external program to cope with the new test output.
Merge pull request #187 from pjonsson/fifteen-tuples

Update test outputs for syntactic-update.