Spec for StopArea + #lines and #codes helper methods