Change domain of function evaluation

See Lebl-1-4-09b.pg