Now have code to check that assignments are correctly formed