benchmarks fixed, lexp cond-contract fix