Enumerative Algorithm halts within the time budget

[alcides]

Running using GeneticEngine synthesizer with enumerative algorithm halts the search when exhausts all options.

To reproduce:

def n : {y:Int | 0 < y && y < 100} = ?hole;