RevKit addon for algorithms that depend on formal methods