The first order definability of graphs with separators via the Ehrenfeucht game