Add field to idris state to track proof states between commands