add static function to create mapping between formulas. add constructor to exemplarnode