fix #812, don't generate eager "= nothing" in refinements