pattern matching 2 RSL