fix #909
fix generated refinement for variable members of a class