import cil::CIL

from Assembly asm
where assemblyIsStub(asm)
select asm