change ExecutionRecord to use Program relations.