The following is the detailed description of the input file "process.def":
Where each line in "mprocess:=.." means a type of processes which the user ask the fdc to generate. For example, the first line
(ef efb any_b any_b)means all processes of