Fix and enable isconcrete optimization.