def infer_block(self, body, diagnostic=None):
<EOL>for e in body:<EOL><INDENT>e.infer_node = InferNode(parent=self.infer_node)<EOL>e.infer_type(diagnostic=diagnostic)<EOL><DEDENT>
Infer type on block is to type each of is sub-element