Inferential arguments won't cut it
The only way back contamination is going to be removed as a show stopper for manned Mars flight is by the use of long range rovers.
These will require autonomy enabled by intelligent robotic vision systems.