ReifDisjunction as a global Const