-- removed useless code in simple_optimise.