check_contract
switch (check_contract(inst, B_TRUE, scf_inst)) {
switch (check_contract(inst, B_FALSE, scf_inst)) {