Add case for ForStm dependency calculation.

[Issue: ]
Remove extra parenthesis from forall expressions.
Fix to parameterised process dependencies