package Ġorg . jetbrains . research . k ex . state . transformer Ċ Ċ import Ġorg . jetbrains . research . k ex . asm . manager . Method Manager Ċ import Ġorg . jetbrains . research . k ex . state . predicate . Call Predicate Ċ import Ġorg . jetbrains . research . k ex . state . predicate . Predicate Ċ import Ġorg . jetbrains . research . k ex . state . predicate . assume Ċ import Ġorg . jetbrains . research . k ex . state . term . Call Term Ċ Ċ object ĠIntr insic Adapter Ġ: ĠTransformer < Intr insic Adapter > Ġ{ ĊĠĠĠ Ġprivate Ġval Ġim Ġ= ĠMethod Manager . Intr insic Manager ĊĊĠĠĠ Ġoverride Ġfun Ġtransform Call Predicate ( predicate : ĠCall Predicate ): ĠPredicate Ġ{ ĊĠĠĠĠĠĠĠ Ġval Ġcall Ġ= Ġpredicate . call Ġas ĠCall Term ĊĠĠĠĠĠĠĠ Ġreturn Ġwhen Ġ( val Ġmethod Ġ= Ġcall . method ) Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġim . get Check NotNull ( method . cm ) Ġ-> Ġassume Ġ{ Ġcall . arguments [ 0 ] Ġin equality Ġnull Ġ} ĊĠĠĠĠĠĠĠĠĠĠĠ Ġelse Ġ-> Ġpredicate ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} Ċ }