Is it possible to write the following conditions without using eval? $object : MyObject ( $valueList : valueList ) // of type List $ value : Value ( // other restrictions && eval( !($valueList.contains($value)) ) ) Thank you :) Tina