corrections in documentation of var_property/2
ENHANCED: Simplify clp(fd) goal_expansion output.  Avoids compiler
warnings about trivially true or false goals and speeds up non-optimized
programs.
Merge remote-tracking branch 'origin/clpfd-simplify'

Thank you Jan!

Conflicts:
	library/clp/clpfd.pl