REQUIRES expressions might not be being parsed correctly

[fillypenascimento]

Using add-tests branch, I ran MetaCrySLGeneratorTests and an output SPEC was not as expected. AlgorithmParameters Spec REQUIRES section should look like this after applying the refinements:

REQUIRES
  
    preparedAlg[parAr];
  
    alg in {"AES", "DESede"} => preparedIV[params];
  
    alg in {"DiffieHellman"} => preparedDH[params];
  
    alg in {"DH"} => preparedDH[params];

but instead, this was the result:

REQUIRES

	preparedAlg[parAr];