Gave symbolic names to execution variables used by the framework