[Constraints] Take functions into account
Steps to reproduce:
- make a function (say the identity)
- build a state automaton
- make a transition using this function
- activate the determinism check
- change the function
Expected: check is re-triggered
Observe: it is not re-triggered
(from redmine: issue id 2861, created on 2017-02-24)