Added logic to strip nodes which are unspecified in the type system and should not be typechecked.
Added logic to strip nodes which are unspecified in the type system and should not be typechecked.

yliu120/K3,DaMSL/K3,DaMSL/K3