MiniZink: Initialization