exp: removed missing lift_cov

Where did it go? Seems it never was in the bench repository.
exp: minor improvements

* init from default configuration
* unbounded loops are found in the aiT report .txt
* set a bound for trace fact minimization