Can now call invariant generation from anywhere with some candidates.