Conformance checking based on barrister-java output