Add RLC-only SideEffectFree stubs and tests#7609

kelloggm merged 14 commits intotypetools:mastertypetools/checker-framework:masterfrom

iamsanjaymalakar:rlc-sideeffect-stubiamsanjaymalakar/checker-framework:rlc-sideeffect-stubCopy head branch name to clipboard