add dummy_decl to TypeCheck.js