Older version of Marabou Stork