Type check zero argument instructions.