fix indentation
implement unique existential quantification for feature expressions
change signature of __builtin_expect

from (...) -> int
to   (long, long) -> long
as defined in http://gcc.gnu.org/onlinedocs/gcc/Other-Builtins.html
Merge branch 'feature_featureexprlib_substitute'
minor fixes
Merge branch 'master' into liveness