Functions for post processing on failure diagnosis

functions for adding the missings not returned by the solver
but needed in the failure explanation