Current state commented out with Glob_term