\indent - selection of occurrences whose specific typing is useful - when refinement for a variable is useful - handling side-effects - generic boolean expression in if - encoding of other constructions (isInt, typeof ...)
