Definition, synonyms and related words
The analysis in advance of subsequent decisions that would be made if a particular branch of an algorithm was followed.