Check linearity of locals, globals