alwaysProducesBoolValue()