restrictive statements </term> . The paper shows how conventional algorithms for the analysis
hide detail