compute free variables of fopl statements