move model creation for shortcut refinement to RefinementVisitor