FIXUP: move logic of adding builtins dependency and sealing module out of TDA