correct way of handling mutable initial conditions -- use lexical scoping to determine symbol resolution for init symbols