Use VFL string as identifier for VFL-based constraints
Add identifier information to readme