It is based on the observation that the abstract programs which can be successfully instantiated into correct programs are usually not very complex.
the consistent programs that are instantiated by long abstract programs are very likely to be spurious.