Inclusion of inplicit operation declaration.
Merge branch 'alrd' of https://github.com/symphonytool/symphony into acf
Merge with alrd branch.
Merge remote-tracking branch 'origin/acf' into alrd
Fixing job scheduling issues.
Added model-checker lock (singleton behaviour).