Added non-deterministic matcher procedure.