trying to use refinements, but cannot persist lvars in binding