%There are totally 0 processes and all of them are listed in the following:
 
mprocess:='(
            (pr130 any_ext any_ext)  
            (pr130 any_ext any_ext any_ext)  
            (pr130 any_ext any_ext any_ext any_ext)  
 %           (ef efb any_ext any_ext any_ext any_ext any_ext)  
%            (ef efb any_ext any_ext any_ext any_ext any_ext any_ext)  
)$
 
process_list:='nil$
 
end$