FormulaShape module, to detect specific formulas (definitions, RW rules...)