testing modulefile definition within formulas