fixed bug in subscribe/unsubscribe mechanism: add formula of interest to
set of subscribed formulas (if not existing yet)