1Test the results of liveness analysis e.g. use positions of inputs of non-materialized conditions. 2