added command line option: -constantsSetup <<BPredicate>>