in progress: mapping methodInfo
in progress: collecting method usages in CallResolver
in progress: renaming current Solver into SimpleSolver
in progress: extracting solver trait
towards taking resolve direction into account
refactor to use explicit resolveDirection