1. A method for performing a data flow analysis of a component of a computer program, the method comprising: determining that a statement of the component is a conditional branch statement which transfers control according to a value of a predicate, wherein the predicate has one or more elements; assuming that the predicate has a first value; and inferring, from the first value, respective values of the one or more elements of the predicate.