Interface PathEffectiveStatement