Added invariant falsification engine