KLaSC: KLambda Spec Checker