Abstractify scanner