use base analysis' eval to write out invariants