team-worthwhile/worthwhile — Issue #98: GuardAssertion subclasses should specify the type of guarded node
Author: leonhandreke
Created: 2012-02-24 14:28:54+00:00
State: open

For example, `DivisorNotZeroAssertion` should have an `Expression` as its `guardedNode`.