added MyADefinitionPredicate
added missing toString method for MyADefinitionPredicate
added SeqExpression and SizeExpression support