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