CIL->SSM: First steps to support (non-static) method calls