added symbolo constraint to assign expressions