[MOD] Enable inlining for nondeterministic functions.
Merge pull request #826 from LeoWoerteler/nondet-inlining

[MOD] Enable inlining for nondeterministic functions.