Script now checks for labels occurring at the end of a theorem environment and warns the user (labels are not moved) -tlee