Reports BCF from modelchecking feature in BIMserver