coloring now properly colors predefined registers; scheme is ready to apply to assembly code