Method restriction

\brief Decide if a given truncation is natural for \b this description A subset of lanes are specified and a truncation (given by a byte position and byte size). If the truncation, relative to the subset, contains at least 1 lane and does not split any lanes, then return \b true and pass back the number of lanes and starting lane of the truncation. \param numLanes is the number of lanes in the or