added symbolo constraint to apply-proco