Add: writing response file for invariants. Clean up