Add RLC-only SideEffectFree stubs and tests#7609

iamsanjaymalakar wants to merge 8 commits intotypetools:mastertypetools/checker-framework:masterfrom

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