Backward analysis