The Role of Decidability in First Order Separations over Classes of Finite Structures