src/constant/abstraction/cybol
