см. https://github.com/hhru/logic/commit/65a688e57924ddbba8197c662a81cf62d7c825f7

он её скоро дотянет до master'а.