Re-fill comments in precondition.h