Nuke most undefined identifier Splint errors