applies symbolic pull-ins