When constructing a SeeC-Clang mapped FunctionState, only add AllocaStates for
local variables if those variables are known to be in scope.