lazy function
The dependant will be satisfied only if the target is satisfied during the evaluation. However - later fails or crashes of target will NOT change the status of the dependant. The status will remain unchanged untill the evaluation of the dependant.
Implementation
_Dependency lazy(PreconditionId targetId) {
return _Dependency._(targetId, false);
}