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