sourceModel
sinkModel
typeVariableModel
typeModel
| M1 | B |  |
summaryModel
| A! | Method[new] | Argument[0] | ReturnValue | value |