added symbolo constraint to lambda clause