file pc should also not be a disjunction and correct check when its the last expression