HANDLING PARAMETERIZED SYSTEMS WITH NON-ATOMIC GLOBAL CONDITIONS