Rakshit Krishnappa Ravi

**Current solution**: Determine the actual method used for initialising the static field. If the method is an initial transition, then the seed is generated for the original statement that has...

Happens for [MessageDigest](https://github.com/CROSSINGTUD/Crypto-API-Rules/blob/master/JavaCryptographicArchitecture/src/MessageDigest.crysl) rule Expected: ``` Gets, DWOU Gets, Updates, Digests Gets, DWOU, Updates, Digests ``` Returned: ``` Gets, DWOU Gets, DWOU, Updates, Digests ```

Happens for [KeyStore](https://github.com/CROSSINGTUD/Crypto-API-Rules/blob/master/JavaCryptographicArchitecture/src/KeyStore.crysl) rule Expected: ``` Gets, Loads, GetEntry, GetKey, SetEntry, Stores Gets, Loads, GetKey, SetEntry, Stores Gets, Loads, GetEntry, GetKey Gets, Loads, SetEntry, Stores Gets, Loads, GetKey Gets, Loads...

Happens for [SecureRandom](https://github.com/CROSSINGTUD/Crypto-API-Rules/blob/master/JavaCryptographicArchitecture/src/SecureRandom.crysl) rule Expected: ``` Ins, Seeds, Ends, Seeds Ins, Ends, Seeds Ins, Seeds, Seeds Ins, Seeds, Ends Ins, Seeds Ins, Ends Ins ``` Returned: ``` Ins, Seeds, Ends,...

For a conditional predicate, its corresponding assertion in the usage pattern test is expected to be immediately after the statement (that has the object for which predicate is generated). ```...

The sample projects for testing kotlin plugin can be found [here](https://github.com/CROSSINGTUD/CryptoAnalysis/commit/bae23f3d83ea99ea9668a06bb84274a33e9556bb)

@kruegers Please review my changes

@AnakinSklavenwalker I've fixed the above issue. Please review the code. Thanks...

@kruegers I've added test cases for verifying OR-ing predicates in the pull request #214

The reason for the above behaviour was because the next method call i.e. `init` from _ORDER_ section is negating the ensured predicate `generatedGCMBlockCipherMode` generated after constructor call of `GCMBlockCipher`. However...