This application checks if one regular expression is subset of another. If so it returns 'true'. Otherwise it returns expression, which is accepted by first expression, but not by second.