backward analysis is always effective