Reorganise analysis/facts/busy_interval/ideal folder

Reorganise the lemmas present in different files as they do not pertain to the specs.