shorter message output
fix bug in shortcut refinement for member of class with assert in body