a tool to assist stateful programming on a timeline