Removed function consistency check, since it misbehaved with change propagation.