added symbolo constraint to lambda clause
added symbolo constraint to lambda clause