Enable ssreflect.