added foundCutPostConditions with clause extraction modified