Working on non-deterministic matcher.