Function call inside constraint