fix #679 add refinement annotations for shortcut refinement