TRIV: Delete accidental ref to non-existing function
Declare domains explicitly in the variable list of a specification