added dest_mss, merge_mss; fixed matching of simproc lhss;
added dest_mss, merge_mss;
fixed matching of simproc lhss;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle