rename IR constants for better readability