dwarflint semantic DIE checks