bug(#3708): Required tojo methods for caching xmir-to-phi/phi-to-xmir goals

bug(#3708): Required tojo methods for caching xmir-to-phi/phi-to-xmir goals #7375