"C++11" withinit

include "c11_base.cat"

let scp = [sc]; fid; (co | fr | hb); idf; [sc]

acyclic scp as scConsistent
show scp