[Ñuño Martínez]

Y tan breve: sigo igual que antes. Afortunadamente me ha dado por buscar y he encontrado esto. Y si he entendido bien tu pregunta y lo que esplican en el artículo la respuesta es... ¿Sí? Vamos, que siempre se pueden implementar las precondiciones y las poscondiciones con un par de IFs. Siguiendo el ejemplo del programa "Cuadrado" del mencionado artículo:

Código Delphi [-]
PROGRAM Cuadrado;

VAR
  Numero, Resultado: LONGINT;
BEGIN
  ReadLN (Numero);
{ Precondición }
  IF Numero >= 0 THEN
  BEGIN
    Resultado := Numero * Numero;
  { Poscondición }
    IF Resultado = Numero * Numero THEN
    BEGIN
      WriteLN (Resultado);
    END
    ELSE
      WriteLN ('La poscondición no se cumplió');
  END
  ELSE
    WriteLN ('La precondición no se cumplió');
END;

O eso o yo me he perdido por el camino...