Default context for typecheckTree modified