Effects flags for callgraph nodes.
Accesses datetime functions.
Inits PRG seed.
Uses PRG.
Uses functions that send funds.
Reads contract's state.
Writes contract's state.
Effects flags for callgraph nodes.