Checks for well-formedness for save and saveas