fixed merge on reflexivity_tacs.v
filled in argument for REFLEXIVITY_BOOL