Generalized REFLEXIVITY_BOOL.
Quick commit.
Merge branch 'master' of https://github.com/PrincetonUniversity/VST
close #18