control now checks that its sym is a control variable