added tests for xasfunction, and an additional check to forall