Hi Thomas, I suspected Predicate, but I don't have enough Frodo expertise to fully trace it. The but report is private by my mistake... No privacy problem here :) Best, Gauthier
Problem with soft intensional constraints (functions)