Figure out how operators like CBMC_r_ok fit into the goto expr scheme #1111
Description
Currently, we're treating them as binary operators, but it might make more sense to treat them as a separate "intrinsics" class.