support empty FreeVariables