introduced likely_ast_t and likely_env_t