team-worthwhile/worthwhile — Issue #43: visit(Loop): Fresh varset should contain only changed body variables
Author: bafain
Created: 2012-02-15 00:20:36+00:00
State: open
Labels: prover