add an example that doesn't find any problems. Include a test for this. Reduce default program length