kayuri/HNC — Issue #24: Support terms with more than one definition in optimizer
Author: nponeccop
Created: 2011-10-16 07:09:54+00:00
State: open

The optimizer doesn't support full terms yet - only the terms consisting of a single top-level definition.