[silver:compiler:analysis:typechecking] Contents of [silver:compiler:analysis:typechecking]: [silver:compiler:analysis:typechecking:core]