Add invariants and test pour and keg orch