Branching problem for tensoring two Verma modules and its application to differential symmetry breaking operators | Synapse