Added definition name to construct_def