cleaner handling of unknown insts