cyclone/eclipse/cycinf-plugin/src/cycinf/constraints
