https://5dok.net/document/6zk3wrey-user-defined-shape-constraints-in-sac-ifl-proceedings.html