112b2c3f_fmrisc_ProgramExplorer_InOut_Class_Summary_Description
[Class] PropagatorCommand [Description] 
The command of propagating a formula through the body of a method.
fmrisc.ProgramExplorer.InOut
Description