PROBCORE-318 Updated subscribe mechanism so that CSP formulas are ignored.
PROBCORE-395 If loading Rodin fails, a stupid message is not printed.