Function predict 

pub fn predict(t: &Transition, s: &SystemState, defs: &UnitDefs) -> Expectation

What the transition is expected to achieve. For generation operations the set of units that may change is only known after evaluation; predict leaves may_change empty with others_unchanged = false, and the executor bounds it by the derived affected_units instead.