Extend seec::cm::FunctionState to support finding the active Stmt, and finding
the Value produced by a given Stmt.