semantic: Correctly pass arguments and parameters to matchLevel.