1Checker test for testing the type merge during reference type propagation.
2