Fix bug in  less_then rule