Draft of free variables detection