Added available expression analysis