saveInitialCondition :: Variable -> Resource -> String -> <WriteGraph> Resource
findCell :: Variable -> String -> <ReadGraph> Maybe Variable
invalidateAll :: Variable -> <ReadGraph> ()
saveInitialCondition :: Variable -> Resource -> String -> <WriteGraph> Resource
findCell :: Variable -> String -> <ReadGraph> Maybe Variable
invalidateAll :: Variable -> <ReadGraph> ()