fixed the monitor test using and "or" instead of an "and" in the preconditions