Adds caching to inverseFor and implements look for inverses on the other side

multiline (easier to add a simple breakpoint)