WSCoL Analyser - verify WSCoL assertions