move is_model_def into polySetScript.sml