Analyse space complexity using big‑O notation (#735)