allow the given clause to a g.w.t. to not be a function