program slice  boolean ancestor using program graph