Added an example of an inconsistent program