Use PROPOSAL to propagate and decay the outgoing lepton from the neutrino interaction vertex. Muon propagation is possible, but for this case no expanded can is used.