If I have a primitive which takes in an int parameter x and an Element parameter y. Is there a way to create a post condition check that a property of y equals the value of x? From what I can tell, ConditionProperty only works to compare properties to hardcoded values but I wanted to check if I was missing something or if there was a workaround.