Incremental Execution of Guarded Theories