[incomplete] SSA Simplification

Variable renaming and phi elimination are not performed
Enhance Show SSAFundef

Add parameter names