A statements belongs to the body of some method. It has control flow edges to and from other statements.