Add Static Implication Switch
Remove usless verbose switch
Add in static imply to podem
Add in static imply to podem
Update PODEM unit test for new argument