https://9dok.net/document/yj753x8k-tool-support-for-contracts-in-featureide.html