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